Basic research

Results: 2119



#Item
481

BRICS Basic Research in Computer Science ¨ BRICS NS-98-5 Huttel & Nestmann (eds.): SOAP ’98 Proceedings

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 1998-06-17 09:46:52
    482

    BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1998-01-14 02:47:50
      483

      BRICS RSK. Krukow: An Operational Semantics for Trust Policies BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2005-11-21 16:18:31
        484

        BRICS Basic Research in Computer Science BRICS RSJ. G. Henriksen: An Expressive Extension of TLC An Expressive Extension of TLC

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1999-09-30 05:30:10
          485

          BRICS Basic Research in Computer Science BRICS RSLyngsø & Pedersen: Protein Folding in the 2D HP Model Protein Folding in the 2D HP Model

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1999-06-29 04:45:35
            486

            BRICS Basic Research in Computer Science BRICS RSGerhardy & Kohlenbach: Extracting Herbrand Disjunctions by Functional Interpretation Extracting Herbrand Disjunctions by

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2003-10-29 10:06:37
              487

              BRICS Basic Research in Computer Science BRICS RSG´al & Miltersen: The Cell Probe Complexity of Succinct Data Structures The Cell Probe Complexity of

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2004-01-31 02:53:45
                488

                BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Cuckoo Hashing Cuckoo Hashing

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2001-09-06 07:56:19
                  489

                  BRICS Basic Research in Computer Science ´ BRICS RSEsik & Larsen: Regular Languages Definable by Lindstr¨om Quantifiers

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2003-08-19 09:18:50
                    490

                    BRICS Basic Research in Computer Science BRICS NS-00-2 Aceto & Victor (eds.): EXPRESS ’00 Preliminary Proceedings

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2000-08-07 05:43:43
                      UPDATE